This book presents the proceedings of the 14th International SPIN workshop on Model Checking Software, held in Berlin, Germany. ...
Continue readingConstitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held ...
Continue readingDedicated to Jan Willem Klop, this volume comprises a total of 23 scientific papers by his close friends and colleagues. ...
Continue reading